object <:<
- Companion
- class
- Source
- typeConstraints.scala
Value members
Concrete methods
If A <: B
and B <: A
, then A = B
(subtyping is antisymmetric)
If A <: B
and B <: A
, then A = B
(subtyping is antisymmetric)
- Source
- typeConstraints.scala
Implicits
Implicits
A =:= A
for all A
(equality is reflexive).
A =:= A
for all A
(equality is reflexive). This also provides implicit views A <:< B
when A <: B
, because (A =:= A) <: (A <:< A) <: (A <:< B)
.
- Source
- typeConstraints.scala